STUDY ON FUTURE STORM SURGE AROUND SUO-NADA SEA

A Formal Verification Study on the Rotterdam Storm Surge Barrier

This paper presents the results of the validation and verification of a crucial component of BOS, a large safety-critical system that decides when to close and open the Maeslantkering, a storm surge barrier near the city of Rotterdam in the Netherlands. BOS was specified in the formal language Z and model checking has been applied to some of its subsystems during its development. A lightweight ...

Spatial and temporal analysis of extreme sea level and storm surge events around the coastline of the UK

In this paper we analyse the spatial footprint and temporal clustering of extreme sea level and skew surge events around the UK coast over the last 100 years (1915-2014). The vast majority of the extreme sea level events are generated by moderate, rather than extreme skew surges, combined with spring astronomical high tides. We distinguish four broad categories of spatial footprints of events a...

Research of the Influential Factors on the Simulation of Storm Surge in the Bohai Sea

A hindcast of typical extratropical storm surge occurring in the Bohai Sea in Oct. 2003 is performed using a three-dimensional storm surge model system based on Finite-Volume Coastal Ocean Model (FVCOM). The surface winds are obtained from the WRF data set. Some preliminary sensitivity studies of the influential factors affecting the storm surge simulation in the Bohai Sea are studied with the ...

Using Wind Setdown and Storm Surge on Lake Erie to Calibrate the Air-Sea Drag Coefficient

The air-sea drag coefficient controls the transfer of momentum from wind to water. In modeling storm surge, this coefficient is a crucial parameter for estimating the surge height. This study uses two strong wind events on Lake Erie to calibrate the drag coefficient using the Coupled Ocean Atmosphere Wave Sediment Transport (COAWST) modeling system and the the Regional Ocean Modeling System (RO...

Storm surge modelling for Bunbury